(6.2.4.2) Clean Language and Symbolic Modelling - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)